Copied to
clipboard

G = C42.163D4order 128 = 27

145th non-split extension by C42 of D4 acting via D4/C2=C22

p-group, metabelian, nilpotent (class 2), monomial

Aliases: C42.163D4, C24.240C23, C23.298C24, C424C419C2, C43(C23⋊Q8), C23⋊Q868C2, C4.96(C4.4D4), C23.18(C4○D4), (C23×C4).69C22, C44(C23.10D4), C43(C23.11D4), (C2×C42).458C22, (C22×C4).499C23, C22.181(C22×D4), C23.11D4141C2, C23.10D4.79C2, (C22×D4).497C22, (C22×Q8).411C22, C43(C23.83C23), C2.14(C22.19C24), C23.83C23146C2, C2.C42.486C22, C2.15(C23.36C23), (C2×C4×Q8)⋊12C2, (C2×C4×D4).42C2, (C4×C22⋊C4)⋊49C2, (C2×C4).298(C2×D4), (C2×C4).90(C4○D4), C2.10(C2×C4.4D4), (C2×C4⋊C4).841C22, (C2×C4)3(C23⋊Q8), C22.178(C2×C4○D4), (C2×C22⋊C4).490C22, SmallGroup(128,1130)

Series: Derived Chief Lower central Upper central Jennings

C1C23 — C42.163D4
C1C2C22C23C22×C4C23×C4C4×C22⋊C4 — C42.163D4
C1C23 — C42.163D4
C1C22×C4 — C42.163D4
C1C23 — C42.163D4

Generators and relations for C42.163D4
 G = < a,b,c,d | a4=b4=c4=1, d2=a2, ab=ba, cac-1=ab2, dad-1=a-1, bc=cb, bd=db, dcd-1=a2c-1 >

Subgroups: 516 in 284 conjugacy classes, 108 normal (18 characteristic)
C1, C2, C2, C2, C4, C4, C22, C22, C22, C2×C4, C2×C4, D4, Q8, C23, C23, C23, C42, C42, C22⋊C4, C4⋊C4, C22×C4, C22×C4, C22×C4, C2×D4, C2×Q8, C24, C2.C42, C2×C42, C2×C42, C2×C22⋊C4, C2×C4⋊C4, C2×C4⋊C4, C4×D4, C4×Q8, C23×C4, C22×D4, C22×Q8, C424C4, C4×C22⋊C4, C23⋊Q8, C23.10D4, C23.11D4, C23.83C23, C2×C4×D4, C2×C4×Q8, C42.163D4
Quotients: C1, C2, C22, D4, C23, C2×D4, C4○D4, C24, C4.4D4, C22×D4, C2×C4○D4, C22.19C24, C2×C4.4D4, C23.36C23, C42.163D4

Smallest permutation representation of C42.163D4
On 64 points
Generators in S64
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)(33 34 35 36)(37 38 39 40)(41 42 43 44)(45 46 47 48)(49 50 51 52)(53 54 55 56)(57 58 59 60)(61 62 63 64)
(1 13 44 20)(2 14 41 17)(3 15 42 18)(4 16 43 19)(5 38 26 59)(6 39 27 60)(7 40 28 57)(8 37 25 58)(9 48 49 23)(10 45 50 24)(11 46 51 21)(12 47 52 22)(29 54 63 33)(30 55 64 34)(31 56 61 35)(32 53 62 36)
(1 62 51 38)(2 29 52 60)(3 64 49 40)(4 31 50 58)(5 20 53 46)(6 14 54 22)(7 18 55 48)(8 16 56 24)(9 57 42 30)(10 37 43 61)(11 59 44 32)(12 39 41 63)(13 36 21 26)(15 34 23 28)(17 33 47 27)(19 35 45 25)
(1 8 3 6)(2 7 4 5)(9 33 11 35)(10 36 12 34)(13 37 15 39)(14 40 16 38)(17 57 19 59)(18 60 20 58)(21 61 23 63)(22 64 24 62)(25 42 27 44)(26 41 28 43)(29 46 31 48)(30 45 32 47)(49 54 51 56)(50 53 52 55)

G:=sub<Sym(64)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,13,44,20)(2,14,41,17)(3,15,42,18)(4,16,43,19)(5,38,26,59)(6,39,27,60)(7,40,28,57)(8,37,25,58)(9,48,49,23)(10,45,50,24)(11,46,51,21)(12,47,52,22)(29,54,63,33)(30,55,64,34)(31,56,61,35)(32,53,62,36), (1,62,51,38)(2,29,52,60)(3,64,49,40)(4,31,50,58)(5,20,53,46)(6,14,54,22)(7,18,55,48)(8,16,56,24)(9,57,42,30)(10,37,43,61)(11,59,44,32)(12,39,41,63)(13,36,21,26)(15,34,23,28)(17,33,47,27)(19,35,45,25), (1,8,3,6)(2,7,4,5)(9,33,11,35)(10,36,12,34)(13,37,15,39)(14,40,16,38)(17,57,19,59)(18,60,20,58)(21,61,23,63)(22,64,24,62)(25,42,27,44)(26,41,28,43)(29,46,31,48)(30,45,32,47)(49,54,51,56)(50,53,52,55)>;

G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,13,44,20)(2,14,41,17)(3,15,42,18)(4,16,43,19)(5,38,26,59)(6,39,27,60)(7,40,28,57)(8,37,25,58)(9,48,49,23)(10,45,50,24)(11,46,51,21)(12,47,52,22)(29,54,63,33)(30,55,64,34)(31,56,61,35)(32,53,62,36), (1,62,51,38)(2,29,52,60)(3,64,49,40)(4,31,50,58)(5,20,53,46)(6,14,54,22)(7,18,55,48)(8,16,56,24)(9,57,42,30)(10,37,43,61)(11,59,44,32)(12,39,41,63)(13,36,21,26)(15,34,23,28)(17,33,47,27)(19,35,45,25), (1,8,3,6)(2,7,4,5)(9,33,11,35)(10,36,12,34)(13,37,15,39)(14,40,16,38)(17,57,19,59)(18,60,20,58)(21,61,23,63)(22,64,24,62)(25,42,27,44)(26,41,28,43)(29,46,31,48)(30,45,32,47)(49,54,51,56)(50,53,52,55) );

G=PermutationGroup([[(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32),(33,34,35,36),(37,38,39,40),(41,42,43,44),(45,46,47,48),(49,50,51,52),(53,54,55,56),(57,58,59,60),(61,62,63,64)], [(1,13,44,20),(2,14,41,17),(3,15,42,18),(4,16,43,19),(5,38,26,59),(6,39,27,60),(7,40,28,57),(8,37,25,58),(9,48,49,23),(10,45,50,24),(11,46,51,21),(12,47,52,22),(29,54,63,33),(30,55,64,34),(31,56,61,35),(32,53,62,36)], [(1,62,51,38),(2,29,52,60),(3,64,49,40),(4,31,50,58),(5,20,53,46),(6,14,54,22),(7,18,55,48),(8,16,56,24),(9,57,42,30),(10,37,43,61),(11,59,44,32),(12,39,41,63),(13,36,21,26),(15,34,23,28),(17,33,47,27),(19,35,45,25)], [(1,8,3,6),(2,7,4,5),(9,33,11,35),(10,36,12,34),(13,37,15,39),(14,40,16,38),(17,57,19,59),(18,60,20,58),(21,61,23,63),(22,64,24,62),(25,42,27,44),(26,41,28,43),(29,46,31,48),(30,45,32,47),(49,54,51,56),(50,53,52,55)]])

44 conjugacy classes

class 1 2A···2G2H2I2J2K4A···4H4I···4AF
order12···222224···44···4
size11···144441···14···4

44 irreducible representations

dim111111111222
type++++++++++
imageC1C2C2C2C2C2C2C2C2D4C4○D4C4○D4
kernelC42.163D4C424C4C4×C22⋊C4C23⋊Q8C23.10D4C23.11D4C23.83C23C2×C4×D4C2×C4×Q8C42C2×C4C23
# reps1142222114168

Matrix representation of C42.163D4 in GL6(𝔽5)

310000
220000
000400
001000
000003
000020
,
200000
020000
001000
000100
000030
000003
,
120000
040000
002000
000200
000030
000002
,
400000
040000
000200
002000
000003
000020

G:=sub<GL(6,GF(5))| [3,2,0,0,0,0,1,2,0,0,0,0,0,0,0,1,0,0,0,0,4,0,0,0,0,0,0,0,0,2,0,0,0,0,3,0],[2,0,0,0,0,0,0,2,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,3,0,0,0,0,0,0,3],[1,0,0,0,0,0,2,4,0,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,0,3,0,0,0,0,0,0,2],[4,0,0,0,0,0,0,4,0,0,0,0,0,0,0,2,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,3,0] >;

C42.163D4 in GAP, Magma, Sage, TeX

C_4^2._{163}D_4
% in TeX

G:=Group("C4^2.163D4");
// GroupNames label

G:=SmallGroup(128,1130);
// by ID

G=gap.SmallGroup(128,1130);
# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,2,112,253,120,758,723,192]);
// Polycyclic

G:=Group<a,b,c,d|a^4=b^4=c^4=1,d^2=a^2,a*b=b*a,c*a*c^-1=a*b^2,d*a*d^-1=a^-1,b*c=c*b,b*d=d*b,d*c*d^-1=a^2*c^-1>;
// generators/relations

׿
×
𝔽